Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
161	Semantic analysis for arrays, structures and pointers Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 04:40:16 Procedural programming languages Data types C++ Pointer Static program analysis C ALGOL 68 Fortran Array data type Computing Software engineering Computer programming
162	;; logic #t #f (and _expr.._) ;short circuit (or _expr.._) ;short circuit (not _expr_) Add to Reading List Source URL: ra3s.com Language: English Scheme Procedural programming languages Data types Cross-platform software String C Hygienic macro Main function Software engineering Computing Programming language theory
163	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:48:12 Software bugs Data types Primitive types Procedural programming languages Pointer Buffer overflow C Subroutine Stack Computing Software engineering Computer programming
164	Scala Macros: Let Our Powers Combine! On How Rich Syntax and Static Types Work with Metaprogramming Eugene Burmako EPFL, Switzerland eugene.burmako@epﬂ.ch Add to Reading List Source URL: scalamacros.org Language: English Functional languages Procedural programming languages Generic programming C++ Nemerle Macro C preprocessor Template metaprogramming Template Computing Software engineering Computer programming
165	N1793: Stability of indeterminate values in C11 Robbert Krebbers and Freek Wiedijk Radboud University Nijmegen, The Netherlands Abstract. This paper – document N1793 of WG 14 – proposes and argues for a specific res Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-03-05 10:29:46 C programming language Data types C++ Procedural programming languages C Standard Library C Pointer Printf format string Struct Software engineering Computing Computer programming
166	Lecture 2: Partial evaluation and Types in Self-application Neil D. Jones DIKU, University of Copenhagen (prof. emeritus) Source: Partial Evaluation and Automatic Program Generation, Neil Jones, Carsten Gomard and Peter Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2011-12-19 05:05:45 Functional languages Partial evaluation Eval D APL Qu Lisp Software engineering Computing Computer programming
167	C Programming Style Paul Krzyzanowski Introduction The past several years of teaching computer science courses to classes consisting largely of juniors, seniors, and graduate students have forced me to look at hundreds o Add to Reading List Source URL: www.r-5.org Language: English - Date: 2014-10-27 10:47:34 Procedural programming languages Data types Cross-platform software Source code C Pointer Fortran Subroutine Main function Software engineering Computing Computer programming
168	The Design and Implementation of a Safe, Lightweight Haskell Compiler Timothy Jan Chevalier Portland State University⋆ Dept. of Computer Science P.O. Box 751 Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 19:52:39 Type theory Data types Functional languages Functional programming Glasgow Haskell Compiler Type system Haskell Type safety C Software engineering Computing Computer programming
169	A Certified Framework for Compiling and Executing Garbage-collected Languages Andrew McCreight Tim Chevalier Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-07-25 18:04:13 Data types Memory management C++ Primitive types Type theory Garbage collection Pointer Type safety C Software engineering Computing Computer programming
170	The whole FlagShip 7 manual consist of following sections: Section Content General information: License agreement & warranty, GEN installation and de-installation, registration and support FlagShip language: Specificati Add to Reading List Source URL: www.fship.com Language: English - Date: 2009-12-09 07:32:28 Procedural programming languages Data types Cross-platform software Memory management Subroutines Pointer C Variable Reference Software engineering Computing Computer programming

UPDATE